package utils;

/**
 * Classe utilitaire avec les symboles mathematiques
 *
 */
public final class Symbole {
													//Codes UTF-8
	public final static String IMPLIQUE = "->";		//"\u21d2";
	public final static String EQUIVALENT = "<->";	//"\u21d4";
	public final static String EXISTE = "Exst";		//"\u2203";
	public final static String POUR_TOUT = "PrTt";	//"\u2200";
	public final static String OU = "v";			//"\u2228";
	public final static String ET = "^";			//"\u2227";
	public final static String NON = "Nn";			//"\u00ac";
	
}
